//	This is a javascript file for the theme, "default".